Remove unused Fget_file_char
authorMattias Engdegård <mattiase@acm.org>
Thu, 30 May 2024 16:10:02 +0000 (18:10 +0200)
committerMattias Engdegård <mattiase@acm.org>
Fri, 31 May 2024 08:08:59 +0000 (10:08 +0200)
commit319e16550d665d1eae6f9e355c475ab668371cf3
treec3a82abd0bf82c121574a1a7cfe32c8dab2e4ca5
parent523d246d6635bc682448cb24ba79847f7f628d6b
Remove unused Fget_file_char

* src/lread.c (Fget_file_char): Remove.  It is unused, undocumented and
we actively tell users not to call it.
src/lread.c